Knowledge Representation and Reasoning Based on Logical Formalism for Forensic Evidence Analysis

─Proficiency in decision making is a very important aspect in forensic investigation. Computational intelligence is one of the methods that support the investigation for assisting decision making process. This paper discusses about representing knowledge using logic scheme, it has been developed using Prolog as one of the logic programming language. In order to facilitate forensic evidence analysis, a knowledge base system has been developed. It shows how the knowledge can be represented from the Horn clause logic to the Prolog form and inference mechanism. In conclusion from the obtained results, it shows that the developed knowledge base can support decision making in forensic evidence analysis.